Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
41	Microsoft Word - ICBO-submissionForm-revision-final.doc Add to Reading List Source URL: mango.ctegd.uga.edu Language: English - Date: 2013-11-07 16:06:20 Ontology Bioinformatics Semantic Web Information science Technical communication Academia Knowledge Open Biomedical Ontologies OBO Foundry Gene ontology DNA annotation Formal ontology
42	An Ontology-based Method in Agent-based Modeling Kejin Cui Department of Geography, University at Buffalo, Buffalo, New York, USA In existing research, ontology has been widely applied in geographic Add to Reading List Source URL: ncgia.buffalo.edu Language: English - Date: 2016-05-18 12:38:25 Ontology Information science Knowledge representation Academia Knowledge Cognitive science Technical communication Formal ontology Agent-based model Conceptual model Upper ontology Draft:Outline of ontologies
43	Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-21 06:02:19 Theoretical computer science Software engineering Programming language theory Logic in computer science Proof assistants Formal methods Automated theorem proving Isabelle Satisfiability modulo theories ACL2 Curry Logic for Computable Functions
44	Decision Trees and Deep Networks for Pattern Classification Ananya Gupta University of Manchester Oxford Road, Manchester United Kingdom M13 9PL Add to Reading List Source URL: womencourage.acm.org Language: English - Date: 2016-08-09 09:13:48 Computational neuroscience Artificial neural networks Applied mathematics Cybernetics Cognitive science Formal sciences Artificial intelligence Convolutional neural network Deep learning MNIST database Machine learning Pattern recognition
45	1 Honors Program in Economics, Business Economics, and Quantitative Economics for the 2016 to 2017 School Year Add to Reading List Source URL: www.economics.uci.edu Language: English - Date: 2016-05-05 17:40:55 Knowledge Academia Science Formal sciences Scientific method Theses Econometrics Thesis Economic model Research Statistics Hypothesis
46	In Cabernet Radicals Workshop, October 2002 http://www.wischik.com/lu/research/ New directions in implementing the pi calculus Lucian Wischik, University of Bologna 30th August 2002 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-10-02 04:22:36 Process calculi Theoretical computer science Mathematics Software engineering Formal methods -calculus Join-calculus Lambda calculus Ambient calculus Inverse trigonometric functions Calculus Join-pattern
47	Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome, Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Theoretical computer science Formal methods Edsger W. Dijkstra Predicate transformer semantics Complexity classes KeY IP NP PP Algorithm
48	Understanding Ambiguous Language in Context-Aware Mobile Querying Joel Booth Barbara Di Eugenio Add to Reading List Source URL: nlp.cs.uic.edu Language: English - Date: 2013-03-02 15:00:28 Information science Computing Semantic Web Computational linguistics Information Knowledge representation Technical communication Knowledge engineering Ontology WordNet Formal ontology Natural language user interface
49	Surname identification and correction in a corpus of forename surname dataset Suresh Veluru, Yogachandran Rahulamathavan, and Muttukrishnan Rajarajan Information Security Group, School of Engineering and Mathematical Sci Add to Reading List Source URL: www.uncertaintyofidentity.com Language: English - Date: 2013-04-26 11:31:05 String computer science) Linguistics Formal languages Computing Dynamic programming Approximate string matching Pattern matching Suffix tree JaroWinkler distance String metric String Comparison of programming languages
50	Towards a Bigraphical Encoding of Actors Michele Sevegnani1,⋆ and Eloi Pereira2,3,⋆⋆ 1 3 Add to Reading List Source URL: cpcc.berkeley.edu Language: English - Date: 2016-06-12 17:08:37 Formal methods Theoretical computer science Bigraph Academia Lambda calculus Computer science Symbol

UPDATE